4 results
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 480-481
- Print publication:
- September 2011
-
- Article
- Export citation
Fixed Point Logics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-88
- Print publication:
- March 2002
-
- Article
- Export citation
Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 (1996), pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-331
- Print publication:
- March 1998
-
- Article
- Export citation
FINITE MODEL THEORY (Perspectives in Mathematical Logic) By Heinz-Dieter Ebbinghaus and Jorg Flum: 327 pp., DM.148.–, ISBN 3 540 60149 X (Springer, 1995).
-
- Journal:
- Bulletin of the London Mathematical Society / Volume 29 / Issue 4 / July 1997
- Published online by Cambridge University Press:
- 01 July 1997, pp. 502-511
- Print publication:
- July 1997
-
- Article
- Export citation